An Automaton-based Formalism for Cooperative Augmented Reality Systems
نویسندگان
چکیده
The aim of the paper is to propose an application of the automata theory in modeling and analyzing Cooperative Augmented Reality Systems (CARSs). We motivate it by two examples, one of them applying Augmented Reality (AR) paradigms to medical training, and the other one to telerobotic manipulation. The model is based on automata theory and objectives are formulated as reachability-like decision problems. We show that reachability, which plays an important role in analyzing CARSs, is undecidable in general, but it is NP-complete for finitedomain CARSs. The relationship with Petri nets, as models of distributed and concurrent systems, is also provided.
منابع مشابه
Augmented Reality Plant Model Services for Mobile Maintenance Worker
This paper presents the project Plamos that applies augmented reality techniques for process industry maintenance work. Plamos integrates augmented reality user interface with information stored in process plant operative applications, i.e automaton systems, engineering databases and maintenance systems. The Plamos prototype utilises standard application interfaces when accessing information fr...
متن کاملComparison of Different Targets Used in Augmented Reality Applications in Ubiquitous GIS
Drilling requires accurate information about locations of underground infrastructures or it can cause serious damages. Augmented Reality (AR) as a technology in Ubiquitous GIS (UBIGIS) can be used to visualize underground infrastructures on smartphones. Since smartphone’s sensors do not provide such accuracy, another approaches should be applied. Vision based computer vision systems are well kn...
متن کاملApplication of Augmented and Virtual Reality Technologies in Medicine
Background and Aim: Virtual Reality and Augmented Reality are immersive technologies that integrate virtual and real-world elements. These technologies have been used to help and improve human capabilities in many fields. Virtual and augmented systems are used in various medical situations. They are effective options in most stages of patient treatment and performing medical procedures. Therefo...
متن کاملAugmented Reality System and Maintenance of Oil Pumps
Qualification of employees who operate technological processes directly influences the safety of production. However, the employees’’ qualification cannot completely exclude human factor. Today, there are many technologies that can minimize or eliminate human factor impact on production safety ensuring. The augmented reality technology is an example of this technology. Nowadays, the augmented r...
متن کاملVerification of Real-Time Systems by Abstraction of Time Constraints
This paper presents a new methodology for model checking real-time systems based on the abstraction of time predicates. A real-time system is modeled with a timed automaton which is translated to a real-time program. The properties are specified with the temporal logic TCTL (Timed Computational Tree Logic). The real-time program and the TCTL property are used first, for producing a new automato...
متن کامل